[[Cyclotomic field]]
# Kronecker's root of unity lemma

If $\alpha$ is a nonzero [[algebraic integer]] whose embeddings into $\mathbb{C}$ all have absolute value at most 1, them $\alpha$ is a [[Cyclotomic field|root of unity]].[^2022] #m/thm/num/alg 

  [^2022]: 2022\. [[Sources/@bakerAlgebraicNumberTheory2022|Algebraic number theory course notes]], ¶2.35, p. 49

> [!missing]- Proof
> #missing/proof

#
---
#state/develop | #lang/en | #SemBr